spring (a mine) - German English Dictionary